搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematics Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975 0 索取号：O174.6/E801 作者：Advanced Seminar on Special Functions、 Madison、 Wis.、 1975.、Askey、 Richard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1975.		Pade and rational approximation : theory and applications : proceedings of an international symposium held at the University of South Florida, Tampa, Florida, December 15-17, 1976 0 索取号：O174.41-53/E801 作者：Conference on Rational Approximation with Emphasis on Applications of Pade Approximants、 Tampa、 Fla.、 1976.、Saff、 E. B.、 1944-、Varga、 Richard S.、出版社：New York : Academic Press, 1977.
	Separations for biotechnology 2 : papers presented at the Second International Symposium on Separations for Biotechnology, held at the University of Reading, UK, 10-13 September 1990 0 索取号：Q-33/E993/2 作者：International Symposium on Separations for Biotechnology (2nd : 1990 : University of Reading)、Pyle、 D. L.、Society of Chemical Industry (Great Britain). Biotechnology Group.、Society of Chemical Industry (Great Britain). Solvent Extraction Group.、出版社：London ; New York : Published for SCI by Elsevier,applied scxience., c1990.		Walden ; and, Civil disobedience 0 索取号：I712.64/E701 作者：Thoreau、 Henry David、 1817-1862.、Thoreau、 Henry David、 1817-1862. Civil disobedience. 1983.、出版社：Harmondsworth, Middlesex, England ; New York, N.Y. : Airmont Pub., Penguin Books, 1965,1983.
	Recent progress in Fourier analysis : proceedings of the Seminar on Fourier Analysis held in El Escorial, Spain, June 30-July 5, 1983 0 索取号：O174.2-53/E901 作者：Seminar on Fourier Analysis (1983 : Escorial)、Peral、 Ireneo.、Rubio de Francia、 J.-L.、 1949-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.		Proceedings of an International Conference on New Trends in Geometric Function Theory and Applications : in honour of Professor K.S. Padmanabhan 0 索取号：O174-53/E991 作者：International Conference on New Trends in Geometric Function Theory and Applications (1990 : University of Madras)、Parvatham、 R. (Rajagopalan)、Ponnusamy、 S. (Saminathan)、Padmanabhan、 K. S.、 1930-、University of Madras.、出版社：Singapore ; New Jersey : World Scientific, 1991.
	Nonlinear functional analysis and its applications 0 索取号：O174-53/E901 作者：Summer Research Institute on Nonlinear Functional Analysis and Its Applications (1983 : University of California at Berkeley)、Browder、 Felix E.、出版社：Providence, R.I. : American Mathematical Society, c1986.		Biotechnology : science, education, and commercialization : an international symposium, University of Florida, Gainesville, Florida, December 3-6, 1989 0 索取号：Q-33/E994 作者：出版社：New York : Elsevier, c1990.
	Affinity chromatography and biological recognition : proceedings of the Fifth International Symposium on Affinity Chromatography and Biological Recognition, held in Annapolis, Maryland, June 12-17, 1983 0 索取号：Q-33/E9025 作者：International Symposium on Affinity Chromatography and Biological Recognition (5th : 1983 : Annapolis、 Md.)、Chaiken、 Irwin M.、Wilchek、 Meir.、Parikh、 Indu.、出版社：Orlando [Fla.] : Academic Press, 1983.		Modelling and control of biotechnical processes : proceedings of the First IFAC Workshop, Helsinki, Finland, August 17-19, 1982 0 索取号：Q-3/E904 作者：IFAC Workshop on Modelling and Control of Biotechnical Processes (1st : 1982 : Helsinki、 Finland)、Halme、 Aarne、 1943-、International Federation of Automatic Control.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983.
	Multivariate analysis--V : proceedings of the fifth International Symposium on Multivariate Analysis 0 索取号：O17-53/E901/5 作者：International Symposium on Multivariate Analysis、 5th、 University of Pittsburgh、 1978.、Krishnaiah、 Paruchuri R.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.		Applied nonlinear analysis : proceedings of an International Conference on Applied Nonlinear Analysis, held at the University of Texas at Arlington, Arlington, Texas, April 20-22, 1978 0 索取号：O17-53/E801 作者：International Conference on Applied Nonlinear Analysis (3rd : 1978 : University of Texas at Arlington)、Lakshmikantham、 V.、University of Texas at Arlington.、出版社：New York : Academic Press, 1979.
	Paul Mellon : portrait of an oil baron 0 索取号：K837.12/E804 作者：Hoffman、 William、 1937-、出版社：Chicago : Follett Pub. Co., c1974.		Topics in matrix and operator theory : Workshop on Matrix and Operator Theory, Rotterdam (The Netherlands), June 26-29, 1989 0 索取号：O151.21/E993 作者：Workshop on Matrix and Operator Theory (1989 : Rotterdam、 Netherlands)、Bart、 H. (Harm)、 1942-、Gohberg、 I. (Israel)、 1928-、Kaashoek、 M. A.、出版社：Basel ; Boston : Birkhauser Verlag, 1991.
	Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 0 索取号：O141-53/E902 作者：Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、出版社：Berlin ; New York : Springer-Verlag, c1985.		The Chinese in the Philippines during the Japanese occupation, 1942-1945 0 索取号：K341.4/E904 作者：Tan、 Antonio S.、University of the Philippines. Asian Center.、出版社：Plillippined Quezon City : Published for the Asian Center, University of the Philippines Press, 1981.

	Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematics Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975 0 索取号：O174.6/E801 作者：Advanced Seminar on Special Functions、 Madison、 Wis.、 1975.、Askey、 Richard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1975.		Pade and rational approximation : theory and applications : proceedings of an international symposium held at the University of South Florida, Tampa, Florida, December 15-17, 1976 0 索取号：O174.41-53/E801 作者：Conference on Rational Approximation with Emphasis on Applications of Pade Approximants、 Tampa、 Fla.、 1976.、Saff、 E. B.、 1944-、Varga、 Richard S.、出版社：New York : Academic Press, 1977.
	Separations for biotechnology 2 : papers presented at the Second International Symposium on Separations for Biotechnology, held at the University of Reading, UK, 10-13 September 1990 0 索取号：Q-33/E993/2 作者：International Symposium on Separations for Biotechnology (2nd : 1990 : University of Reading)、Pyle、 D. L.、Society of Chemical Industry (Great Britain). Biotechnology Group.、Society of Chemical Industry (Great Britain). Solvent Extraction Group.、出版社：London ; New York : Published for SCI by Elsevier,applied scxience., c1990.		Walden ; and, Civil disobedience 0 索取号：I712.64/E701 作者：Thoreau、 Henry David、 1817-1862.、Thoreau、 Henry David、 1817-1862. Civil disobedience. 1983.、出版社：Harmondsworth, Middlesex, England ; New York, N.Y. : Airmont Pub., Penguin Books, 1965,1983.
	Recent progress in Fourier analysis : proceedings of the Seminar on Fourier Analysis held in El Escorial, Spain, June 30-July 5, 1983 0 索取号：O174.2-53/E901 作者：Seminar on Fourier Analysis (1983 : Escorial)、Peral、 Ireneo.、Rubio de Francia、 J.-L.、 1949-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.		Proceedings of an International Conference on New Trends in Geometric Function Theory and Applications : in honour of Professor K.S. Padmanabhan 0 索取号：O174-53/E991 作者：International Conference on New Trends in Geometric Function Theory and Applications (1990 : University of Madras)、Parvatham、 R. (Rajagopalan)、Ponnusamy、 S. (Saminathan)、Padmanabhan、 K. S.、 1930-、University of Madras.、出版社：Singapore ; New Jersey : World Scientific, 1991.
	Nonlinear functional analysis and its applications 0 索取号：O174-53/E901 作者：Summer Research Institute on Nonlinear Functional Analysis and Its Applications (1983 : University of California at Berkeley)、Browder、 Felix E.、出版社：Providence, R.I. : American Mathematical Society, c1986.		Biotechnology : science, education, and commercialization : an international symposium, University of Florida, Gainesville, Florida, December 3-6, 1989 0 索取号：Q-33/E994 作者：出版社：New York : Elsevier, c1990.
	Affinity chromatography and biological recognition : proceedings of the Fifth International Symposium on Affinity Chromatography and Biological Recognition, held in Annapolis, Maryland, June 12-17, 1983 0 索取号：Q-33/E9025 作者：International Symposium on Affinity Chromatography and Biological Recognition (5th : 1983 : Annapolis、 Md.)、Chaiken、 Irwin M.、Wilchek、 Meir.、Parikh、 Indu.、出版社：Orlando [Fla.] : Academic Press, 1983.		Modelling and control of biotechnical processes : proceedings of the First IFAC Workshop, Helsinki, Finland, August 17-19, 1982 0 索取号：Q-3/E904 作者：IFAC Workshop on Modelling and Control of Biotechnical Processes (1st : 1982 : Helsinki、 Finland)、Halme、 Aarne、 1943-、International Federation of Automatic Control.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983.
	Multivariate analysis--V : proceedings of the fifth International Symposium on Multivariate Analysis 0 索取号：O17-53/E901/5 作者：International Symposium on Multivariate Analysis、 5th、 University of Pittsburgh、 1978.、Krishnaiah、 Paruchuri R.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.		Applied nonlinear analysis : proceedings of an International Conference on Applied Nonlinear Analysis, held at the University of Texas at Arlington, Arlington, Texas, April 20-22, 1978 0 索取号：O17-53/E801 作者：International Conference on Applied Nonlinear Analysis (3rd : 1978 : University of Texas at Arlington)、Lakshmikantham、 V.、University of Texas at Arlington.、出版社：New York : Academic Press, 1979.
	Paul Mellon : portrait of an oil baron 0 索取号：K837.12/E804 作者：Hoffman、 William、 1937-、出版社：Chicago : Follett Pub. Co., c1974.		Topics in matrix and operator theory : Workshop on Matrix and Operator Theory, Rotterdam (The Netherlands), June 26-29, 1989 0 索取号：O151.21/E993 作者：Workshop on Matrix and Operator Theory (1989 : Rotterdam、 Netherlands)、Bart、 H. (Harm)、 1942-、Gohberg、 I. (Israel)、 1928-、Kaashoek、 M. A.、出版社：Basel ; Boston : Birkhauser Verlag, 1991.
	Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 0 索取号：O141-53/E902 作者：Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、出版社：Berlin ; New York : Springer-Verlag, c1985.		The Chinese in the Philippines during the Japanese occupation, 1942-1945 0 索取号：K341.4/E904 作者：Tan、 Antonio S.、University of the Philippines. Asian Center.、出版社：Plillippined Quezon City : Published for the Asian Center, University of the Philippines Press, 1981.